Mapping OCL Constraints into CTL-like Logic and SML for UML Validation
نویسندگان
چکیده
UML [17] is the de facto standard for specifying both of the structural and behavioral aspects of systems. OCL (Object Constraint Language [16]), an integral part of UML, allows for specifying additional constraints on UML models in a more precise and concise manner. OCL has a mathematical definition based on set theory with a notion of object model and system states. UML and OCL are easy and familiar to users, but they do not support validation tasks and their semantics is defined in a semi-formal way.
منابع مشابه
Specification of Real-Time Properties for UML Models
The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynam...
متن کاملStrengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
Collections, i. e., sets, bags, ordered sets and sequences, play a central role in UML and OCL models. Essential OCL operations like role navigation, object selection by stating properties and the first order logic universal and existential quantifiers base upon or result in collections. In this paper, we show a uniform representation of flat and nested, but typed OCL collections as well as str...
متن کاملAn OCL Extension for Real-Time Constraints
The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation preand postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such ...
متن کاملOn a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is based on the branching temporal logic CTL and the Object Constraint Language (OCL), an optional part of the UML standard for expressing static properties over class diagrams. The formal semantics of BOTL is defined in t...
متن کاملAspect-Oriented Monitoring of UML and OCL Constraints
We present an approach utilizing aspect-oriented programming (AOP) techniques for mapping between different abstraction levels of software. The goal is to facilitate validation and testing of a software implementation against constraints specified on an associated UML model. We use AOP techniques for defining a monitor that observes the behavior of an implementation and maps it to model behavio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014